Lieber Herr Bernays ! , Lieber
نویسنده
چکیده
1. Gödel, Bernays, and Hilbert. The correspondence between Paul Bernays and Kurt Gödel is one of the most extensive in the two volumes of Gödel’s collected works devoted to his letters of (primarily) scientific, philosophical and historical interest. It ranges from 1930 to 1975 and deals with a rich body of logical and philosophical issues, including the incompleteness theorems, finitism, constructivity, set theory, the philosophy of mathematics, and postKantian philosophy, and contains Gödel’s thoughts on many topics that are not expressed elsewhere. In addition, it testifies to their life-long warm personal relationship. I have given a detailed synopsis of the Bernays Gödel correspondence, with explanatory background, in my introductory note to it in Vol. IV of Gödel’s Collected Works, pp. 4179. My purpose here is to focus on only one group of interrelated topics from these exchanges, namely the light that ittogether with assorted published and unpublished articles and lectures by Gödelthrows on his perennial preoccupations with the limits of finitism, its relations to constructivity, and the significance of his incompleteness theorems for Hilbert’s program. In that connection, this piece has an important subtext, namely the shadow of Hilbert that loomed over Gödel from the beginning to the end of his career.
منابع مشابه
Review of Deconstructing Morphology : Word Formation in Syntactic Theory , by Rochelle Lieber
متن کامل
Ultrastructural evidence for loss of calcium homeostasis in exercised skeletal muscle.
Muscle injury has been documented following eccentric exercise bouts in skeletal muscle (Faulkner 1985, Duan et al. 1988, Lieber & Fride!n 1988). Insights into the early events causing muscle injury have been obtained from mechanical studies (Lieber & Fride!n 1993, Warren et al. 1993) as well as immunohistochemical studies of cellular and extracellular proteins (Lieber et al. 1996). From these ...
متن کاملCharles Saul Lieber, a tribute (13 February 1931 to 1 March 2009).
Hepatologists, gastroenterologists and alcohol researchers throughout the world were deeply saddened to learn of the death of Dr Charles Saul Lieber on 1 March 2009. Dr Lieber died at his home in Englewood Cliffs, NJ, at the age of 78. Charles Lieber was the father of modern alcohol research: he was a pioneer and giant in the field starting to investigate the effects of alcohol on the liver as ...
متن کاملFinite Element Model of Intramuscular Pressure (imp) during Isokinetic Contraction of Skeletal Muscle
TR Jenkyn, B Koopman, PA Huijing, RL Lieber, KR Kaufman Dept. of Mechanical and Materials Engineering, University of Western Ontario, Canada Institute for Biomedical Technology, University of Twente, Netherlands Faculteit Bewegingswetenschappen, Vrije Universiteit Amsterdam, Netherlands Dept. of Orthopaedics and Bioengineering, University of California and VA Medical Centers, USA Motion Analysi...
متن کاملDesign and Synthesis of Diverse Functional Kinked Nanowire
2 Structures for Nanoelectronic Bioprobes 3 Lin Xu,†,‡,§ Zhe Jiang,‡,§ Quan Qing,‡,§ Liqiang Mai,† Qingjie Zhang,† and Charles M. Lieber*,†,‡,∥ 4 †WUT-Harvard Joint Nano Key Laboratory, State Key Laboratory of Advanced Technology for Materials Synthesis and Processing, 5 Wuhan University of Technology, Wuhan 430070, China 6 ‡Department of Chemistry and Chemical Biology and School of Engineering...
متن کامل